989d10b8361830f50123d4bc986bc26eb008daea,src/wyil/util/TypeSystem.java,TypeSystem,expandAsReference,#Type#,124
Before Change
if (type instanceof Type.Reference) {
return (Type.Reference) type;
} else {
return (Type.Reference) expandOneLevel(type);
}
}
After Change
} else {
// This type may be a reference. To find out, we need to
// expand one level of nominal type information
type = expandOneLevel(type);
if (type instanceof Type.Reference) {
return (Type.Reference) type;
} else {
return null;
}
}
}